package org.orcas.kocl.compiler.util;

public interface PredefinedType extends org.eclipse.ocl.utilities.PredefinedType {
	
	public static final String PLUS_NAME = "plus"; 
	public static final String MINUS_NAME = "minus"; 
	public static final String EQUAL_NAME = "equal"; 
	public static final String NOT_EQUAL_NAME = "notEqual";
	public static final String TIMES_NAME = "times";
	public static final String DIVIDE_NAME = "divide";
	public static final String LET_NAME = "let";
	public static final String LESS_THAN_NAME = "lt";
	public static final String LESS_THAN_EQUAL_NAME = "lte";
	public static final String GREATER_THAN_NAME = "gt";
	public static final String GREATER_THAN_EQUAL_NAME = "gte";
	public static final String IF_NAME = "if";
	
}
